[tail] [up]

2.2.1 Integrals 1 to 84

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 143 0 0 256 0 0 -1

N.S.

1 1.00 1.14 0.00 0.00 2.05 0.00 0.00 -0.01

time (sec)

N/A 0.097 1.023 1.112 0.000 0.388 0.000 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 2.854 0.973 0.000 0.000 0.000 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 134 0 0 184 0 0 -1

N.S.

1 1.00 1.74 0.00 0.00 2.39 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.126 0.981 0.000 0.372 0.000 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 2.422 0.978 0.000 0.000 0.000 0.000 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 27 22 33 0 28 42

N.S.

1 1.00 1.00 1.04 0.85 1.27 0.00 1.08 1.62

time (sec)

N/A 0.018 0.016 0.858 0.274 0.371 0.000 0.382 0.070

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

22 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.013 1.941 1.235 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.013 2.531 1.100 0.000 0.000 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 294 0 0 1198 0 0 -1

N.S.

1 1.00 1.35 0.00 0.00 5.52 0.00 0.00 -0.00

time (sec)

N/A 0.258 3.247 1.185 0.000 0.396 0.000 0.000 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 5.639 1.200 0.000 0.000 0.000 0.000 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 273 0 0 782 0 0 -1

N.S.

1 1.00 2.29 0.00 0.00 6.57 0.00 0.00 -0.01

time (sec)

N/A 0.118 2.250 1.197 0.000 0.375 0.000 0.000 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 4.959 1.201 0.000 0.000 0.000 0.000 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 73 46 194 0 55 77

N.S.

1 1.00 1.00 1.66 1.05 4.41 0.00 1.25 1.75

time (sec)

N/A 0.037 0.071 1.559 0.273 0.369 0.000 0.398 0.100

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 13.609 1.305 0.000 0.000 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 6.487 1.319 0.000 0.000 0.000 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 77 133 182 1918 0 146 395

N.S.

1 1.00 0.86 1.48 2.02 21.31 0.00 1.62 4.39

time (sec)

N/A 0.056 0.104 1.231 0.495 0.372 0.000 0.400 0.099

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 376 0 0 731 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 2.09 0.00 0.00 -0.00

time (sec)

N/A 0.613 1.097 1.320 0.000 0.398 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 5.699 1.324 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 843 0 0 536 0 0 -1

N.S.

1 1.00 3.50 0.00 0.00 2.22 0.00 0.00 -0.00

time (sec)

N/A 0.363 1.229 1.342 0.000 0.387 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.020 5.097 1.352 0.000 0.000 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 67 90 0 304 0 61 171

N.S.

1 1.00 1.02 1.36 0.00 4.61 0.00 0.92 2.59

time (sec)

N/A 0.072 0.091 1.868 0.000 0.387 0.000 0.395 0.185

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 3.261 1.352 0.000 0.000 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.012 0.081 0.069 0.000 0.000 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

994 994 1565 0 0 3918 0 0 -1

N.S.

1 1.00 1.57 0.00 0.00 3.94 0.00 0.00 -0.00

time (sec)

N/A 1.491 8.648 1.333 0.000 0.424 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 38.484 1.332 0.000 0.000 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

555 555 755 0 0 2473 0 0 -1

N.S.

1 1.00 1.36 0.00 0.00 4.46 0.00 0.00 -0.00

time (sec)

N/A 0.757 4.090 1.319 0.000 0.404 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 34.435 1.318 0.000 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 220 177 0 1314 0 148 316

N.S.

1 1.00 1.79 1.44 0.00 10.68 0.00 1.20 2.57

time (sec)

N/A 0.185 0.331 1.912 0.000 0.397 0.000 0.412 1.756

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 69.317 1.332 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 44.067 1.204 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 44.806 1.208 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

6 6 6 13 12 28 0 12 12

N.S.

1 1.00 1.00 2.17 2.00 4.67 0.00 2.00 2.00

time (sec)

N/A 0.017 0.016 1.058 0.269 0.340 0.000 0.390 1.264

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

426 426 415 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.297 1.343 2.366 0.000 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 311 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.205 1.292 2.066 0.000 0.000 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 207 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.128 1.287 2.089 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 4.350 2.667 0.000 0.000 0.000 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 5.259 2.670 0.000 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

677 677 739 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.589 5.775 180.000 0.000 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

497 497 573 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.454 5.268 180.000 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

319 319 459 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.305 5.547 180.000 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 41.472 3.176 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 18.297 3.206 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

961 961 939 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.958 2.105 3.267 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

721 721 744 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.772 1.419 3.059 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

481 481 508 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.607 19.688 3.158 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 3.634 3.043 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.014 0.926 0.000 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2851 2851 3033 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.674 14.153 3.545 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

2123 2123 2173 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.098 11.331 3.497 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1395 1395 1393 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.643 11.621 3.404 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.019 79.810 3.303 0.000 0.000 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 45.953 3.475 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 288 0 0 0 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.164 1.420 2.170 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 172 0 0 0 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 52.464 2.210 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 30 23 22 33 0 29 43

N.S.

1 1.00 1.15 0.88 0.85 1.27 0.00 1.12 1.65

time (sec)

N/A 0.017 0.029 1.490 0.278 0.415 0.000 0.402 1.341

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.012 6.321 2.881 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.011 6.742 2.879 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

407 407 487 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.377 4.034 180.000 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 309 0 0 0 0 0 -1

N.S.

1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.232 3.897 180.000 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 48 0 48 194 0 55 77

N.S.

1 1.00 1.02 0.00 1.02 4.13 0.00 1.17 1.64

time (sec)

N/A 0.043 0.084 180.000 0.273 0.369 0.000 0.401 1.316

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 18.146 3.132 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.016 18.085 3.169 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

601 601 626 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.715 1.569 3.109 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 390 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.554 5.486 3.125 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 69 90 0 254 0 61 155

N.S.

1 1.00 1.01 1.32 0.00 3.74 0.00 0.90 2.28

time (sec)

N/A 0.071 0.095 3.351 0.000 0.405 0.000 0.397 1.781

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.018 5.850 3.125 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 6.065 3.197 0.000 0.000 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1755 1755 1769 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.899 9.989 3.723 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1027 1027 986 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.343 8.589 3.606 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 232 177 0 1387 0 148 344

N.S.

1 1.00 1.83 1.39 0.00 10.92 0.00 1.17 2.71

time (sec)

N/A 0.162 0.367 3.887 0.000 0.427 0.000 0.387 1.851

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 43.427 3.477 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.017 42.660 3.431 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.034 12.219 2.868 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 41 155 0 101 0 0 110

N.S.

1 1.00 0.93 3.52 0.00 2.30 0.00 0.00 2.50

time (sec)

N/A 0.039 0.049 4.274 0.000 0.360 0.000 0.000 1.404

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 260 368 0 584 0 0 -1

N.S.

1 1.00 1.93 2.73 0.00 4.33 0.00 0.00 -0.01

time (sec)

N/A 0.078 0.127 3.870 0.000 0.400 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

217 217 0 0 0 933 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 4.30 0.00 0.00 -0.00

time (sec)

N/A 0.129 7.203 1.633 0.000 0.418 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 57 271 0 561 0 0 158

N.S.

1 1.00 0.72 3.43 0.00 7.10 0.00 0.00 2.00

time (sec)

N/A 0.072 0.140 3.736 0.000 0.380 0.000 0.000 1.419

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

208 208 501 0 0 2662 0 0 -1

N.S.

1 1.00 2.41 0.00 0.00 12.80 0.00 0.00 -0.00

time (sec)

N/A 0.146 1.937 1.819 0.000 0.483 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

363 363 0 0 0 4938 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 13.60 0.00 0.00 -0.00

time (sec)

N/A 0.281 48.265 1.226 0.000 0.488 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 80 317 0 449 0 0 409

N.S.

1 1.00 0.92 3.64 0.00 5.16 0.00 0.00 4.70

time (sec)

N/A 0.109 0.105 3.012 0.000 0.412 0.000 0.000 2.101

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 859 587 0 1050 0 0 -1

N.S.

1 1.00 2.80 1.91 0.00 3.42 0.00 0.00 -0.00

time (sec)

N/A 0.403 1.476 2.990 0.000 0.388 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

452 452 0 0 0 1602 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 3.54 0.00 0.00 -0.00

time (sec)

N/A 0.611 4.737 1.148 0.000 0.404 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 233 491 0 3169 0 0 -1

N.S.

1 1.00 1.48 3.13 0.00 20.18 0.00 0.00 -0.01

time (sec)

N/A 0.216 0.436 3.382 0.000 0.431 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

717 717 2651 0 0 7790 0 0 -1

N.S.

1 1.00 3.70 0.00 0.00 10.86 0.00 0.00 -0.00

time (sec)

N/A 0.861 25.260 1.566 0.000 0.461 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1284 1284 0 0 0 14077 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 10.96 0.00 0.00 -0.00

time (sec)

N/A 1.508 92.140 1.293 0.000 0.542 0.000 0.000 0.000

[front] [up]